Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
31	Temporal logic and FRP Intuitionistic S4 categories Temporal categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-07-10 13:09:46 Declarative programming Monad Categorical logic Temporal logic Modal logic Cartesian closed category Adjoint functors Logic Mathematics
32	1 Walter Burley, The Longer Treatise On the Purity of the Art of Logic Tract 1: Add to Reading List Source URL: pvspade.com Language: English - Date: 1999-06-01 16:16:33 Supposition theory William of Sherwood Proposition Sum of Logic Categorical proposition Philosophy of self Categories Converse Logic Traditional logic Philosophy
33	Armenian Journal of Mathematics Volume 4, Number 1, 2012, 1–24 Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors George Voutsadakis* Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2012-05-25 03:53:42 Structure Universal algebra Parity of a permutation Functor Orbifold Mathematics Group theory Model theory
34	Logic-Based Methods for Assurance of Complex System Performance Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:23 Philosophical logic Non-classical logic Modal logic Model theory Metalogic Model checking Kripke semantics Categorical logic Natural deduction Logic Mathematical logic Mathematics
35	Induction White Paper March 2014 Issue: With the elimination of separate categorical funding for an induction program (Beginning Teacher Support and Assessment), the compliance requirements associated with that categoric Add to Reading List Source URL: www.ctc.ca.gov Language: English - Date: 2014-03-20 20:32:38 Logic Education in the United Kingdom Recruitment Induction Inductive reasoning Mathematical induction Teacher induction Teacher training Knowledge Education
36	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
37	Inductive Arguments : Basics. © Avi Sion Inductive Argument : Basics. Actual generalization and particularization Add to Reading List Source URL: www.thelogician.net Language: English - Date: 2010-07-27 03:45:43 Inductive reasoning Mathematical logic Problem solving Deduction Deductive reasoning Mathematical induction Entailment Categorical proposition Predicate Logic Science Reasoning
38	Objectivity, Objecthood and Genetic Axiomatic Methods in Modern Categorical Mathematics In 1934 Hilbert and Beranys distinguished between their novel notion of formal axiomatic method, which later became standard, and a Add to Reading List Source URL: philomatica.org Language: English - Date: 2014-01-07 11:48:55 Mathematical logic Philosophy of mathematics Axiomatic system David Hilbert Foundations of mathematics Axiom Mathematical analysis Certainty Geometry Mathematics Formal systems Logic
39	D:WARTICLESOLDSTUFFSKETCHSKETCH.DVI Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2014-02-26 21:53:08 Higher category theory Algebraic topology Adjoint functors Sheaf theory Topos Sketch Categorical logic Regular category Michael Barr Category theory Abstract algebra Mathematics
40	Higher Categories from Type Theories PhD thesis Peter LeFanu Lumsdaine Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematical logic Metaphilosophy Categorical logic Theoretical computer science Category theory Model theory Type theory Proof theory Metalogic Logic Higher category theory

UPDATE